Optimal. Leaf size=132 \[ -\frac {3 (a+8 b) \log (1-\tanh (c+d x))}{16 d}+\frac {3 (a-8 b) \log (\tanh (c+d x)+1)}{16 d}+\frac {\sinh ^4(c+d x) (a \tanh (c+d x)+b)}{4 d}-\frac {\sinh ^2(c+d x) \tanh (c+d x) (a+8 b \tanh (c+d x))}{8 d}-\frac {3 a \tanh (c+d x)}{8 d}-\frac {3 b \tanh ^2(c+d x)}{2 d} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.17, antiderivative size = 132, normalized size of antiderivative = 1.00, number of steps used = 8, number of rules used = 5, integrand size = 21, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.238, Rules used = {3663, 1804, 801, 633, 31} \[ -\frac {3 (a+8 b) \log (1-\tanh (c+d x))}{16 d}+\frac {3 (a-8 b) \log (\tanh (c+d x)+1)}{16 d}+\frac {\sinh ^4(c+d x) (a \tanh (c+d x)+b)}{4 d}-\frac {\sinh ^2(c+d x) \tanh (c+d x) (a+8 b \tanh (c+d x))}{8 d}-\frac {3 a \tanh (c+d x)}{8 d}-\frac {3 b \tanh ^2(c+d x)}{2 d} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 31
Rule 633
Rule 801
Rule 1804
Rule 3663
Rubi steps
\begin {align*} \int \sinh ^4(c+d x) \left (a+b \tanh ^3(c+d x)\right ) \, dx &=\frac {\operatorname {Subst}\left (\int \frac {x^4 \left (a+b x^3\right )}{\left (1-x^2\right )^3} \, dx,x,\tanh (c+d x)\right )}{d}\\ &=\frac {\sinh ^4(c+d x) (b+a \tanh (c+d x))}{4 d}+\frac {\operatorname {Subst}\left (\int \frac {x^3 \left (-4 b-a x-4 b x^2\right )}{\left (1-x^2\right )^2} \, dx,x,\tanh (c+d x)\right )}{4 d}\\ &=\frac {\sinh ^4(c+d x) (b+a \tanh (c+d x))}{4 d}-\frac {\sinh ^2(c+d x) \tanh (c+d x) (a+8 b \tanh (c+d x))}{8 d}+\frac {\operatorname {Subst}\left (\int \frac {x^2 (3 a+24 b x)}{1-x^2} \, dx,x,\tanh (c+d x)\right )}{8 d}\\ &=\frac {\sinh ^4(c+d x) (b+a \tanh (c+d x))}{4 d}-\frac {\sinh ^2(c+d x) \tanh (c+d x) (a+8 b \tanh (c+d x))}{8 d}+\frac {\operatorname {Subst}\left (\int \left (-3 a-24 b x+\frac {3 (a+8 b x)}{1-x^2}\right ) \, dx,x,\tanh (c+d x)\right )}{8 d}\\ &=-\frac {3 a \tanh (c+d x)}{8 d}-\frac {3 b \tanh ^2(c+d x)}{2 d}+\frac {\sinh ^4(c+d x) (b+a \tanh (c+d x))}{4 d}-\frac {\sinh ^2(c+d x) \tanh (c+d x) (a+8 b \tanh (c+d x))}{8 d}+\frac {3 \operatorname {Subst}\left (\int \frac {a+8 b x}{1-x^2} \, dx,x,\tanh (c+d x)\right )}{8 d}\\ &=-\frac {3 a \tanh (c+d x)}{8 d}-\frac {3 b \tanh ^2(c+d x)}{2 d}+\frac {\sinh ^4(c+d x) (b+a \tanh (c+d x))}{4 d}-\frac {\sinh ^2(c+d x) \tanh (c+d x) (a+8 b \tanh (c+d x))}{8 d}-\frac {(3 (a-8 b)) \operatorname {Subst}\left (\int \frac {1}{-1-x} \, dx,x,\tanh (c+d x)\right )}{16 d}+\frac {(3 (a+8 b)) \operatorname {Subst}\left (\int \frac {1}{1-x} \, dx,x,\tanh (c+d x)\right )}{16 d}\\ &=-\frac {3 (a+8 b) \log (1-\tanh (c+d x))}{16 d}+\frac {3 (a-8 b) \log (1+\tanh (c+d x))}{16 d}-\frac {3 a \tanh (c+d x)}{8 d}-\frac {3 b \tanh ^2(c+d x)}{2 d}+\frac {\sinh ^4(c+d x) (b+a \tanh (c+d x))}{4 d}-\frac {\sinh ^2(c+d x) \tanh (c+d x) (a+8 b \tanh (c+d x))}{8 d}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A] time = 0.20, size = 92, normalized size = 0.70 \[ \frac {3 a (c+d x)}{8 d}-\frac {a \sinh (2 (c+d x))}{4 d}+\frac {a \sinh (4 (c+d x))}{32 d}+\frac {b \left (\sinh ^4(c+d x)-4 \sinh ^2(c+d x)+2 \text {sech}^2(c+d x)+12 \log (\cosh (c+d x))\right )}{4 d} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [B] time = 0.57, size = 1530, normalized size = 11.59 \[ \text {result too large to display} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [A] time = 0.25, size = 206, normalized size = 1.56 \[ \frac {24 \, {\left (a - 8 \, b\right )} d x + {\left (a e^{\left (4 \, d x + 24 \, c\right )} + b e^{\left (4 \, d x + 24 \, c\right )} - 8 \, a e^{\left (2 \, d x + 22 \, c\right )} - 20 \, b e^{\left (2 \, d x + 22 \, c\right )}\right )} e^{\left (-20 \, c\right )} + 192 \, b \log \left (e^{\left (2 \, d x + 2 \, c\right )} + 1\right ) - \frac {{\left (9 \, a e^{\left (8 \, d x + 8 \, c\right )} + 72 \, b e^{\left (8 \, d x + 8 \, c\right )} + 10 \, a e^{\left (6 \, d x + 6 \, c\right )} + 36 \, b e^{\left (6 \, d x + 6 \, c\right )} - 6 \, a e^{\left (4 \, d x + 4 \, c\right )} + 111 \, b e^{\left (4 \, d x + 4 \, c\right )} - 6 \, a e^{\left (2 \, d x + 2 \, c\right )} + 18 \, b e^{\left (2 \, d x + 2 \, c\right )} + a - b\right )} e^{\left (-4 \, c\right )}}{{\left (e^{\left (2 \, d x\right )} + e^{\left (4 \, d x + 2 \, c\right )}\right )}^{2}}}{64 \, d} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.30, size = 122, normalized size = 0.92 \[ \frac {a \cosh \left (d x +c \right ) \left (\sinh ^{3}\left (d x +c \right )\right )}{4 d}-\frac {3 a \cosh \left (d x +c \right ) \sinh \left (d x +c \right )}{8 d}+\frac {3 a x}{8}+\frac {3 a c}{8 d}+\frac {b \left (\sinh ^{6}\left (d x +c \right )\right )}{4 d \cosh \left (d x +c \right )^{2}}-\frac {3 b \left (\sinh ^{4}\left (d x +c \right )\right )}{4 d \cosh \left (d x +c \right )^{2}}+\frac {3 b \ln \left (\cosh \left (d x +c \right )\right )}{d}-\frac {3 b \left (\tanh ^{2}\left (d x +c \right )\right )}{2 d} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [A] time = 0.42, size = 194, normalized size = 1.47 \[ \frac {1}{64} \, a {\left (24 \, x + \frac {e^{\left (4 \, d x + 4 \, c\right )}}{d} - \frac {8 \, e^{\left (2 \, d x + 2 \, c\right )}}{d} + \frac {8 \, e^{\left (-2 \, d x - 2 \, c\right )}}{d} - \frac {e^{\left (-4 \, d x - 4 \, c\right )}}{d}\right )} + \frac {1}{64} \, b {\left (\frac {192 \, {\left (d x + c\right )}}{d} - \frac {20 \, e^{\left (-2 \, d x - 2 \, c\right )} - e^{\left (-4 \, d x - 4 \, c\right )}}{d} + \frac {192 \, \log \left (e^{\left (-2 \, d x - 2 \, c\right )} + 1\right )}{d} - \frac {18 \, e^{\left (-2 \, d x - 2 \, c\right )} + 39 \, e^{\left (-4 \, d x - 4 \, c\right )} - 108 \, e^{\left (-6 \, d x - 6 \, c\right )} - 1}{d {\left (e^{\left (-4 \, d x - 4 \, c\right )} + 2 \, e^{\left (-6 \, d x - 6 \, c\right )} + e^{\left (-8 \, d x - 8 \, c\right )}\right )}}\right )} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 0.27, size = 156, normalized size = 1.18 \[ x\,\left (\frac {3\,a}{8}-3\,b\right )+\frac {2\,b}{d\,\left ({\mathrm {e}}^{2\,c+2\,d\,x}+1\right )}+\frac {{\mathrm {e}}^{4\,c+4\,d\,x}\,\left (a+b\right )}{64\,d}-\frac {2\,b}{d\,\left (2\,{\mathrm {e}}^{2\,c+2\,d\,x}+{\mathrm {e}}^{4\,c+4\,d\,x}+1\right )}-\frac {{\mathrm {e}}^{-4\,c-4\,d\,x}\,\left (a-b\right )}{64\,d}+\frac {3\,b\,\ln \left ({\mathrm {e}}^{2\,c}\,{\mathrm {e}}^{2\,d\,x}+1\right )}{d}+\frac {{\mathrm {e}}^{-2\,c-2\,d\,x}\,\left (2\,a-5\,b\right )}{16\,d}-\frac {{\mathrm {e}}^{2\,c+2\,d\,x}\,\left (2\,a+5\,b\right )}{16\,d} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [F] time = 0.00, size = 0, normalized size = 0.00 \[ \int \left (a + b \tanh ^{3}{\left (c + d x \right )}\right ) \sinh ^{4}{\left (c + d x \right )}\, dx \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________